101. Formal Grammar 2018 :
پدیدآورنده : Annie Foret, Greg Kobele, Sylvain Pogodalla (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational linguistics, Congresses.,Formal languages, Congresses.,Mathematical linguistics, Congresses.,Computational linguistics.,Formal languages.,Mathematical linguistics.
رده :
P98
.
I58
2018eb
102. Formal concept analysis
پدیدآورنده : / Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
E-BOOK
103. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
104. Formal concept analysis : foundations and applications
پدیدآورنده : Bernhard Ganter, Gerd Stumme, Rudolf Wille )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Lattice theory,Congresses ، Comprehension )Theory of Knowledge(,Congresses ، Logic, Symbolic and mathematical,Congresses ، Information theory,Mathematical models -- Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
3626
105. Formal concept analysis : 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings
پدیدآورنده : Rokia Missaoui, Jurg Schmid )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Lattice theory,Mathematical models -- Congresses ، Comprehension )Theory of Knowledge(,Congresses ، Information theory,Mathematical models -- Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3874
106. Formal concept analysis : third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings
پدیدآورنده : Bernhard Ganter, Robert Godin )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Lattice theory,Congresses ، Comprehension )Theory of Knowledge(,Mathematical models -- Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Information theory
رده :
QA
76
.
L28
Vol
.
3403
107. Foundations of Logic and Functional Programming Workshop,Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده : M. Boscarol, L. Carlucci Aiello, G. Levi )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
306
108. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده : Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
6
.
F6858
1986
109. Frontiers of Combining Systems
پدیدآورنده : \ Carsten Lutz, Silvio Ranise (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a01,a01
رده :
QA
9
.
A1
F7
2015
E-Book
,
110. Frontiers of Combining Systems
پدیدآورنده : Silvio Ghilardi, Roberto Sebastiani (Eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2009
111. Frontiers of combining systems :
پدیدآورنده : Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2013
112. Frontiers of combining systems :
پدیدآورنده : Cesare Tinelli, Viorica Sofronie-Stokkermans (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2011
113. Frontiers of combining systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
پدیدآورنده : Alessandro Armando )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2309
114. Frontiers of combining systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
پدیدآورنده : Bernhard Gramlich )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
3717
115. Frontiers of combining systems : third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings
پدیدآورنده : Helene Kirchner, Christophe Ringeissen, eds
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1794
116. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
117. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
118. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
119. Grammatical inference
پدیدآورنده : / Josae M. Sempere, Pedro Garcaia (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Formal languages, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA267
.
3
.
I55
2010
120. Grammatical inference : Learning syntax from sentences : Third International Colloquium, ICGI-96 Montpellier, France, September 25-27, 1996 : proceedings
پدیدآورنده : Laurent Miclet, Colin de la Higuera )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1147
